|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
The POLSYS Team and ARIC at ENS Lyon are part of the QOLAPS (Quantifier Elimination, Optimization, Linear Algebra and Polynomial Systems) Associate Team with the Symbolic Computation Group at North Carolina State University. Activities of this associate team are described at the following url:
http://www-polsys.lip6.fr/QOLAPS/index.html
Informal International Partners
-
Prof. Victor Y. Pan, Department of Mathematics and Computer Science Lehman College, City University of New York, USA.
Inria International Labs
The POLSYS Team is involved in the ECCA (Exact Certified Computation with Algebraic Systems) at LIAMA in China.